9ce36d392d218f4ab6bab5a6483703aba7ce8335,findbugs/src/java/edu/umd/cs/findbugs/detect/FindNullDeref.java,FindNullDeref,foundRedundantNullCheck,#Location#RedundantBranch#,373

Before Change


			WarningPropertySet propertySet = new WarningPropertySet();
			WarningPropertyUtil.addPropertiesForLocation(propertySet, classContext, method, location);
			if (redundantBranch.checkedValue) {
				propertySet.addProperty(NullDerefProperty.CHECKED_VALUE);
			}
			
			propertySet.decorateBugInstance(bugInstance);

After Change


			WarningPropertySet propertySet = new WarningPropertySet();
			WarningPropertyUtil.addPropertiesForLocation(propertySet, classContext, method, location);
			if (isChecked) 
				propertySet.addProperty(NullDerefProperty.CHECKED_VALUE);
			if (wouldHaveBeenAKaboom) 
				propertySet.addProperty(NullDerefProperty.WOULD_HAVE_BEEN_A_KABOOM);
			
			
			propertySet.decorateBugInstance(bugInstance);